Checking interval properties of computations
نویسندگان
چکیده
منابع مشابه
Checking properties of distributed computations
Predicate detection is an important problem in distributed systems. Predicate detection suffers from state explosion since the number of possible global states is exponential in the number of processes. Computation slicing is an important abstraction technique used to solve the predicate detection problem. The key observation in this paper is that an equivalence relation on the global state lat...
متن کاملChecking Interval Based Properties for Reactive Systems
A reactive system does not terminate and its behaviors are typically defined as a set of infinite sequences of states. In formal verification, a requirement is usually expressed in a logic, and when the models of the logic are also defined as infinite sequences, such as the case for LTL, the satisfaction relation is simply defined by the containment between the set of system behaviors and that ...
متن کاملChecking Interval Based Properties for Reactive Systems
A reactive system does not terminate and its behaviors are typically defined as a set of infinite sequences of states. In formal verification, a requirement is usually expressed in a logic, and when the models of the logic are also defined as infinite sequences, such as the case for LTL, the satisfaction relation is simply defined by the containment between the set of system behaviors and that ...
متن کاملModel-Checking ω-Regular Properties of Interval Markov Chains
We study the problem of model checking Interval-valued Discrete-time Markov Chains (IDTMC). IDTMCs are discrete-time finite Markov Chains for which the exact transition probabilities are not known. Instead in IDTMCs, each transition is associated with an interval in which the actual transition probability must lie. We consider two semantic interpretations for the uncertainty in the transition p...
متن کاملInterval Computations in Computer Vision
Interval arithmetic is a method for performing computations on measurements that are only known to within a xed error range. As the measurements are combined mathematically, their error intervals are also combined, in a conservative fashion. While the technique of interval analysis has found uses in many areas of computing in recent years, it has not yet been applied heavily in computer vision....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Informatica
سال: 2015
ISSN: 0001-5903,1432-0525
DOI: 10.1007/s00236-015-0250-1